English logic knowledge representation: tłumaczenie na inne języki